On quasi-varieties of multiple valued logic models
نویسندگان
چکیده
منابع مشابه
On quasi-varieties of multiple valued logic models
Multiple valued logic (abbreviated MVL and also known as ‘many-valued’ or ‘multi-valued’ logic) has a long tradition [17, 15, 7] and needs no presentation. In this paper we lift the concept of quasi-variety of first-order models from classical (two valued) logic to MVL and study some of its important properties. Our results can be seen as MVL extensions or generalizations of corresponding class...
متن کاملMultiple-valued Logic
s of the Talks In the order in which the talks were given. Walter Carnielli – Non-deterministic Semantics 5 Matthias Baaz – Analytic Calculi for Many-valued Logics 5 Hiroakira Ono – Many-valued Logics as Logics without the Contraction Rule 6 Reiner Hähnle – Proof Theory of Many-valued Logic and Hardware Design 7 Gonzalo Escalada-Imaz – Determining the Truth Degree in Real Time Settings 7 Peter ...
متن کاملOn the Archimedean Multiple-valued Logic Algebras
The Archimedean property is one of the most beautiful axioms of the classical arithmetic and some of the methods of constructing the field of real numbers are based on this property. It is well-known that every Archimedean `-group is abelian and every pseudo-MV algebra is commutative. The aim of this paper is to introduce the Archimedean property for pseudo-MTL algebras and FLw-algebras. The ma...
متن کاملMultiple-Valued Logic in FPGAs
This paper considers the applicability of multiple-valued logic (MVL) circuits in implementation of field-programmable gate arrays (FPGAs). It proposes an FPGA logic block architecture that features MVL current-mode CMOS circuitry. The logic block combines the lookup-table and multiplexer approaches found in commercial FPGAs, and provides additional versatility through its current-mode operatio...
متن کاملMultiple-valued Logic Abstracts of the Talks
s of the Talks In the order in which the talks were given. Walter Carnielli { Non-deterministic Semantics 5 Matthias Baaz { Analytic Calculi for Many-valued Logics 5 Hiroakira Ono { Many-valued Logics as Logics without the Contraction Rule 6 Reiner H ahnle { Proof Theory of Many-valued Logic and Hardware Design 7 Gonzalo Escalada-Imaz { Determining the Truth Degree in Real Time Settings 7 Pete...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Logic Quarterly
سال: 2011
ISSN: 0942-5616
DOI: 10.1002/malq.200910131